A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping

Context-Oriented Programming (COP) is a programming paradigm to encourage modularization of context-dependent software. Key features of COP are layers---modules to describe context-dependent behavioral variations of a software system---and their dynamic activation, which can modify the behavior of multiple objects that have already been instantiated. Typechecking programs written in a COP language is difficult because the activation of a layer can even change objects' interfaces. Inoue et al. have informally discussed how to make JCop, an extension of Java for COP by Appeltauer et al., type-safe. In this article, we formalize a small COP language called ContextFJ$_{<:}$ with its operational semantics and type system and show its type soundness. The language models main features of the type-safe version of JCop, including dynamically activated first-class layers, inheritance of layer definitions, layer subtyping, and layer swapping

Induced top Yukawa coupling and suppressed Higgs mass parameters

In the scenarios with heavy top squarks, mass parameters of the Higgs field must be fine-tuned due to a large logarithmic correction to the soft scalar mass. We consider a new possibility that the top Yukawa coupling is small above TeV scale. The large top mass is induced from strong Yukawa interaction of the Higgs with another gauge sector, in which supersymmetry breaking parameters are given to be small. Then it is found that the logarithmic correction to the Higgs soft scalar mass is suppressed in spite of the strong coupling and the fine-tuning is ameliorated. We propose an explicit model coupled to a superconformal gauge theory which realizes the above situation.Comment: RevTeX4 style, 10 pages, 3 figure

Selection of Color-Changing and Intensity-Increasing Fluorogenic Probe as Protein-Specific Indicator Obtained via the 10BASEd-T

To obtain a molecular probe for specific protein detection, we have synthesized fluorogenic probe library of vastdiversity on bacteriophage T7 via the gp10 based-thioetherificaion (10BASEd-T). A remarkable color-changing and turning-on probewas selected from the library, and its physicochemical properties upon target-specific binding were obtained. Combination analysesof fluorescence emission titration, isothermal titration calorimetry (ITC), and quantitative saturation-transfer difference (STD) NMRmeasurements followed by in silico docking simulation, rationalized most plausible geometry of the ligand-protein interaction

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions

Context-aware applications, whose behavior reactively depends on the time-varying status of the surrounding environment - such as network connection, battery level, and sensors - are getting more and more pervasive and important. The term "context-awareness" usually suggests prompt reactions to context changes: as the context change signals that the current execution cannot be continued, the application should immediately abort its execution, possibly does some clean-up tasks, and suspend until the context allows it to restart. Interruptions, or asynchronous exceptions, are useful to achieve context-awareness. It is, however, difficult to program with interruptions in a compositional way in most programming languages because their support is too primitive, relying on synchronous exception handling mechanism such as try-catch. We propose a new domain-specific language ContextWorkflow for interruptible programs as a solution to the problem. A basic unit of an interruptible program is a workflow, i.e., a sequence of atomic computations accompanied with compensation actions. The uniqueness of ContextWorkflow is that, during its execution, a workflow keeps watching the context between atomic actions and decides if the computation should be continued, aborted, or suspended. Our contribution of this paper is as follows; (1) the design of a workflow-like language with asynchronous interruption, checkpointing, sub-workflows and suspension; (2) a formal semantics of the core language; (3) a monadic interpreter corresponding to the semantics; and (4) its concrete implementation as an embedded domain-specific language in Scala

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)

This artifact provides the Scala, Haskell, and Purescript implementations of ContextWorkflow, an embedded domain-specific language for interruptible and compensable executions, and demonstrates the maze search example described in the companion paper. The Haskell and Purescript implementations provide the core language constructs including texttt{checkpoint} for partial aborts and texttt{sub} for sub-workflows and show that ContextWorkflow can be embedded in eager and lazy languages as described in the companion paper. The Scala implementation does not only provide user-friendly syntax of ContextWorkflow but also gives the maze search example as an interactive GUI application